//==========================================================================
// Copyright (c) 2000-2008,  Elastos, Inc.  All Rights Reserved.
//==========================================================================

#ifndef __ELASTOS_SETUP_H__
#define __ELASTOS_SETUP_H__

EXTERN_C DECL_CODEINIT void CDECL SetupPaging(
        physaddr_t paKernelPhysBase, physaddr_t paKernelImagePhysBase,
        physaddr_t paMemoryMappedIoBase, physaddr_t paMemoryMappedIoLimit);

#endif //__ELASTOS_SETUP_H__
